On induction, coinduction and equality in Martin-Löf and homotopy type theory
- Författare
- Andrea Vezzosi
- (Andrea Vezzosi., Sammanfattning jämte appendix., Diss. (sammanfattning) Göteborg : Chalmers tekniska högskola, 2018)
- Genre
- theses, Avhandlingar
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Chalmers University of Technology | 2018 | Sverige, Göteborg | viii,172 sidor. illustrerad | 978-91-7597-772-0 |